Reversibility in Chemical Reactions

open access bookIn this chapter we give an overview of techniques for the modelling and reasoning about reversibility of systems, including outof- causal-order reversibility, as it appears in chemical reactions. We consider the autoprotolysis of water reaction, and model it with the Calculus of Covalent Bonding, the Bonding Calculus, and Reversing Petri Nets. This exercise demonstrates that the formalisms, developed for expressing advanced forms of reversibility, are able to model autoprotolysis of water very accurately. Characteristics and expressiveness of the three formalisms are discussed and illustrated

All-sky Search for High-Energy Neutrinos from Gravitational Wave Event GW170104 with the ANTARES Neutrino Telescope

Advanced LIGO detected a significant gravitational wave signal (GW170104) originating from the coalescence of two black holes during the second observation run on January 4$^{\textrm{th}}$, 2017. An all-sky high-energy neutrino follow-up search has been made using data from the ANTARES neutrino telescope, including both upgoing and downgoing events in two separate analyses. No neutrino candidates were found within $\pm500$ s around the GW event time nor any time clustering of events over an extended time window of $\pm3$ months. The non-detection is used to constrain isotropic-equivalent high-energy neutrino emission from GW170104 to less than $\sim4\times 10^{54}$ erg for a $E^{-2}$ spectrum

The ANTARES Collaboration: Contributions to ICRC 2017 Part I: Neutrino astronomy (diffuse fluxes and point sources)

Papers on neutrino astronomy (diffuse fluxes and point sources, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboratio

The ANTARES Collaboration: Contributions to ICRC 2017 Part III: Searches for dark matter and exotics, neutrino oscillations and detector calibration

Papers on the searches for dark matter and exotics, neutrino oscillations and detector calibration, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboratio

The ANTARES Collaboration: Contributions to ICRC 2017 Part II: The multi-messenger program

Papers on the ANTARES multi-messenger program, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboratio

Systematic reconstruction of TRANSPATH data into Cell System Markup Language

<p>Abstract</p> <p>Background</p> <p>Many biological repositories store information based on experimental study of the biological processes within a cell, such as protein-protein interactions, metabolic pathways, signal transduction pathways, or regulations of transcription factors and miRNA. Unfortunately, it is difficult to directly use such information when generating simulation-based models. Thus, modeling rules for encoding biological knowledge into system-dynamics-oriented standardized formats would be very useful for fully understanding cellular dynamics at the system level.</p> <p>Results</p> <p>We selected the TRANSPATH database, a manually curated high-quality pathway database, which provides a plentiful source of cellular events in humans, mice, and rats, collected from over 31,500 publications. In this work, we have developed 16 modeling rules based on hybrid functional Petri net with extension (HFPNe), which is suitable for graphical representing and simulating biological processes. In the modeling rules, each Petri net element is incorporated with Cell System Ontology to enable semantic interoperability of models. As a formal ontology for biological pathway modeling with dynamics, CSO also defines biological terminology and corresponding icons. By combining HFPNe with the CSO features, it is possible to make TRANSPATH data to simulation-based and semantically valid models. The results are encoded into a biological pathway format, Cell System Markup Language (CSML), which eases the exchange and integration of biological data and models.</p> <p>Conclusion</p> <p>By using the 16 modeling rules, 97% of the reactions in TRANSPATH are converted into simulation-based models represented in CSML. This reconstruction demonstrates that it is possible to use our rules to generate quantitative models from static pathway descriptions.</p

The Antares Collaboration : Contributions to the 34th International Cosmic Ray Conference (ICRC 2015, The Hague)

The ANTARES detector, completed in 2008, is the largest neutrino telescope in the Northern hemisphere. Located at a depth of 2.5 km in the Mediterranean Sea, 40 km off the Toulon shore, its main goal is the search for astrophysical high energy neutrinos. In this paper we collect the 21 contributions of the ANTARES collaboration to the 34th International Cosmic Ray Conference (ICRC 2015). The scientific output is very rich and the contributions included in these proceedings cover the main physics results, ranging from steady point sources, diffuse searches, multi-messenger analyses to exotic physics

Algorithms for effective querying of compound graph-based pathway databases

<p>Abstract</p> <p>Background</p> <p>Graph-based pathway ontologies and databases are widely used to represent data about cellular processes. This representation makes it possible to programmatically integrate cellular networks and to investigate them using the well-understood concepts of graph theory in order to predict their structural and dynamic properties. An extension of this graph representation, namely hierarchically structured or compound graphs, in which a member of a biological network may recursively contain a sub-network of a somehow logically similar group of biological objects, provides many additional benefits for analysis of biological pathways, including reduction of complexity by decomposition into distinct components or modules. In this regard, it is essential to effectively query such integrated large compound networks to extract the sub-networks of interest with the help of efficient algorithms and software tools.</p> <p>Results</p> <p>Towards this goal, we developed a querying framework, along with a number of graph-theoretic algorithms from simple neighborhood queries to shortest paths to feedback loops, that is applicable to all sorts of graph-based pathway databases, from PPIs (protein-protein interactions) to metabolic and signaling pathways. The framework is unique in that it can account for compound or nested structures and ubiquitous entities present in the pathway data. In addition, the queries may be related to each other through "AND" and "OR" operators, and can be recursively organized into a tree, in which the result of one query might be a source and/or target for another, to form more complex queries. The algorithms were implemented within the querying component of a new version of the software tool P<smcaps>ATIKA</smcaps><it>web </it>(Pathway Analysis Tool for Integration and Knowledge Acquisition) and have proven useful for answering a number of biologically significant questions for large graph-based pathway databases.</p> <p>Conclusion</p> <p>The P<smcaps>ATIKA</smcaps> Project Web site is <url>http://www.patika.org</url>. P<smcaps>ATIKA</smcaps><it>web </it>version 2.1 is available at <url>http://web.patika.org</url>.</p

The Biochemical Abstract Machine {BIOCHAM}

http://www.springerlink.com/index/NVWWRAN9W4RUA03NIn this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology. Biocham provides a precise semantics to biomolecular interaction maps. Based on this formal semantics, the Biocham system offers automated reasoning to ols for querying the temporal properties of the system under all its possible behavi ors. We present the main features of Biocham, provide details on a simple example of the MAPK signaling cascade and prove some results on the equivalence of model s w.r.t. their temporal properties